least upper bound, supremum

上确界; 又称“最小上界”。

热门查询